1 1 2.87720105880999e-05
5 15 0.000431580158821498
6 1529 0.0439924041892047
8 8314 0.239210496029463
9 15322 0.440844746230867
10 15324 0.440902290252043
15 15326 0.440959834273219
16 30169 0.868022787432386
17 30173 0.868137875474738
18 30265 0.870784900448843
25 30321 0.872396133041777
30 30370 0.873805961560594
31 30372 0.87386350558177
32 34217 0.984491886293014
33 34246 0.985326274600069
34 34247 0.985355046610657
35 34249 0.985412590631833
43 34313 0.987253999309472
48 34315 0.987311543330648
63 34359 0.988577511796524
64 34756 1
